<?php
function foo(): DateTime {
}
